

Print Prelude.

Require Import mytheory.

Check Hello.


